The Petri Net Markup Language

The Petri Net Markup Language

The biology Petri net markup language

In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is based on XML (eXtensible Markup Language) are introduced. BioPNML is designed to provide a starting point for the development of a standard interchange format for Bioinformatics and Petri nets. The language will make it p...

The Petri Net Markup Language: Concepts, Technology, and Tools

The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of Petri nets, PNML allows the definition of Petri net types. Due to this flexibility, PNML is a starting point for a standard interchange format for Petri nets. This paper discusses the design principles, the basic conc...

Petri net markup language: implementation and application

We present a twofolded view to the Petri Net Markup Language (PNML). On the one hand we describe the current state of PNML seen while adopting PNML for an existing tool. The extension allows easy exchange of examples between the PEP tool and other Petri net tools. On the other hand we show how to benefit from the versatility of the Extensible Markup Language (XML). We present a translator from ...

Allgemeine Konzepte zur software-technischen Unterstützung verschiedener Petrinetz-Typen

Petri nets are widely used for modelling systems. The different areas and goals require different types of Petri nets. Each Petri net contains beside places, transitions, and arcs several further specific elements. Furthermore, a Petri net type defines a specific firing rule. There are many different Petri net types. It is not easy to have a general view on this bulk of Petri net types. Thus, t...